Abstract logic - PDFSEARCH.IO - Document Search Engine

Abstract logic
Results: 1693

#	Item
141	Learning and Exploration in Automated Theorem Proving Moa Johansson Chalmers University of Technology Abstract This note describes a new project with the purpose of combining the advantages of statistical machine learnin Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-08-18 04:15:56 Mathematics Theoretical computer science Automated theorem proving Logic Logic in computer science Mathematical proofs Artificial intelligence Reasoning ACL2 Automated reasoning Proof assistant Isabelle
142	Convergence of Hypervolume-Based Archiving Algorithms II: Competitiveness Submission to GECCO Track “Evolutionary Multiobjective Optimization (EMO)” ABSTRACT We study the convergence behavior of (µ + λ)-archiving a Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-01-03 06:45:34 Mathematics Algorithm Mathematical logic Theoretical computer science Mu Greedy algorithm Online algorithm Discrete mathematics
143	Dewey’s Theory of Induction and the Mill-Whewell Debate Abstract: Increasing interest in material theories of induction (as for example in some recent papers by John Norton) gives hope for a renewed interest in Dewe Add to Reading List Source URL: www.american-philosophy.org Language: English - Date: 2011-02-01 22:29:57 Philosophy Philosophy of science Philosophers of science Philosophical logic Philosophical movements Critical thinking William Whewell John Dewey Pragmatism Inquiry Truth Empiricism
144	I’m leaking oil and looking for a garage: Testing conditions on meaning transfer Sam Featherston, Klaus von Heusinger & Hanna Weiland∗ July 13, 2011 Abstract Add to Reading List Source URL: gerlin.phil-fak.uni-koeln.de Language: English - Date: 2011-07-13 07:27:28 Linguistics Logic Lexical semantics Psycholinguistics Grammar Semantics Propositional calculus Control Polysemy Argument Predicate transfer Predicate
145	NORMATIVE REQUIREMENTS1 John Broome, University of Oxford Ratio, ), pp. 398–419, and in Normativity, edited by Jonathan Dancy, Blackwell, 2000, pp. 78–99. Abstract Normative requirements are often overlooked, Add to Reading List Source URL: users.ox.ac.uk Language: English - Date: 2002-08-01 11:46:43 Philosophy Logic Philosophical logic Reasoning Philosophy of law Epistemology Arguments Reason Normative Norm Deontic logic Ethics
146	Reverse Hoare Logic? Edsko de Vries and Vasileios Koutavas Trinity College Dublin, Ireland {Edsko.de.Vries,Vasileios.Koutavas}@cs.tcd.ie Abstract. We present a novel Hoare-style logic, called Reverse Hoare Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Logic Theoretical computer science Mathematics Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Hoare logic Predicate transformer semantics Permutation Closed and exact differential forms
147	2011 SAAP Discussion Paper Submission Abstract: The aim of this paper is to clarify the main questions and aims guiding Charles Sanders Peirce’s phenomenological inquiries concerning the universal categories. The pape Add to Reading List Source URL: www.american-philosophy.org Language: English - Date: 2011-02-01 22:30:17 Philosophy Charles Sanders Peirce Philosophy of science Phenomenology Philosophical movements Philosophical logic Classification of the sciences Category of being Semiotics Scientific method Abductive reasoning Phenomenological sociology
148	A Specification Formalism for Interacting Objects∗ Olaf Owe Department of Informatics, University of Oslo, Norway email: , fax: +Abstract Add to Reading List Source URL: folk.uio.no Language: English - Date: 2011-09-02 08:27:14 Logic Mathematical logic Abstraction Model theory Predicate logic Formal languages Logic in computer science First-order logic Interpretation Modal logic Axiom Equality
149	Advances in Abstract Categorial Grammars Language Theory and Linguistic Modeling Lecture 3 Add to Reading List Source URL: research.nii.ac.jp Language: English - Date: 2010-06-08 00:59:21 Software engineering Formal languages Computer programming Declarative programming Datalog CYK algorithm Definite clause grammar Parsing Logic programming Prolog Parse tree Categorial grammar
150	Computational ontologies of parthood, componenthood, and containment Thomas Bittner and Maureen Donnelly IFOMIS, Saarland University Abstract Parthood, componenthood, and containment relations are commonly assumed in bio Add to Reading List Source URL: www.acsu.buffalo.edu Language: English - Date: 2005-03-16 11:22:26 Mathematics Algebra Logic Predicate logic Mathematical logic Ontology Topology Algebraic structures Mereology Metric Ring Binary relation

UPDATE